121. Automata
Author: / Alexander Meduna, Tomas Kozar.,Meduna, Alexander,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Machine theory.
122. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
123. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
124. Automatic program development :
Author: edited by Olivier Danvy [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Program transformation (Computer programming),Programming (Mathematics),Computer algorithms.,Informatique.,MATHEMATICS-- Linear & Nonlinear Programming.,Program transformation (Computer programming),Programming (Mathematics)
Classification :
QA402
.
5
.
A88
2008eb
125. Automatic programming and numerical methods of analysis
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic programming )Computer science(-- Addresses, essays, lectures,، Numerical analysis-- Data processing-- Addresses, essays, lectures
Classification :
QA
76
.
6
.
A913
126. Automatic programming, numerical methods and functional analysis
Author: edited by V. N. Faddeeva
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Automatic programming )Computer science(,Addresses, essays, lectures ، Numerical analysis,Addresses, essays, lectures ، Functional analysis
Classification :
QA
1
.
P736
Vol
.
96
127. Automatic programming, numerical methods and functional analysis
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic programming )Computer science(-- Addresses, essays, lectures,، Numerical analysis-- Addresses, essays, lectures,، Functional analysis-- Addresses, essays, lectures
Classification :
QA
1
.
A413
no
.
96
128. Basic programming
Author: KEMENY,JOHN G
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: BASIC )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DATA PROVESSING-MATHEMATICS
Classification :
QA
76
.
5
.
K38
1971
129. Basic programming
Author: / John G. Kemeny, Thomas E. Kurtz
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Basic (Computer program language),Electronic data processing - Mathematics
Classification :
001
.
6424
K31
1971
130. Basic programming
Author: / (by) John G. Kemeny (and) Thomas E. Kurtz
Library: Library of College of Science University of Tehran (Tehran)
Subject: BASIC (Computer program language),Mathematics -- Data processing
Classification :
QA
76
.
5
.
K38
1971
131. Basic programming
Author: Kemeny, John G
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: BASIC (Computer program language)►Mathematics- Data processing
Classification :
76
.
5
.
K38
132. Basic programming
Author: Kemeny, John G.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، BASIC )Computer program language(,، Mathematics-- Data processing
Classification :
QA
76
.
5
.
K38
1971
133. Bayesian Approach to Global Optimization :
Author: by Jonas Mockus.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Information theory.
Classification :
QA402
.
5
B956
1989
134. Beginning math and physics for game programmers
Author: / Wendy Stahler
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science- Mathematics,Computer games- Programming,Physics- Data processing
Classification :
QA76
.
9
.
M35
,
S73
2004
135. Beginning math concepts for game developers /
Author: John P. Flynt, Boris Meltreger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Calculus.,Computer games-- Programming-- Mathematics.,Video games-- Design.,Calculus.,GAMES-- Video & Electronic.,Video games-- Design.
Classification :
QA76
.
76
.
C672
F589
2007eb
136. Behavior analysis with machine learning using R
Author: Enrique Garcia Ceja.,Garcia Ceja, Enrique,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Behavioral assessment,Task analysis,Machine learning.,R (Computer program language),Data processing.,Data processing.
Classification :
BF176
.
2
.
G37
2022
137. Bidirectional transformations :
Author: Jeremy Gibbons, Perdita Stevens (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
Classification :
QA601
138. Big Data and Smart Digital Environment /
Author: Yousef Farhaoui, Laila Moussaid, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Big data-- Analysis.,Data mining.,Machine learning.,COMPUTERS-- Databases-- General.,Data mining.,Machine learning.
Classification :
QA76
.
9
.
B45
139. Big data and networks technologies /
Author: editor, Yousef Farhaoui.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Big data.,Computer networks.,Big data.,Computer networks.
Classification :
QA76
.
9
.
B45
140. BigNum mat
Author: / Tom St. Denis, Greg Rose
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming (Mathematics),Computer security.
Classification :
QA
,
402
.
5
,.
S114
,
2006eb
